(auto) having a folding top